Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
نویسندگان
چکیده
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting prototype, called Fastest, makes it easy to generate test cases from Z specifications. We not only apply the ideas of the referred framework but we also use a technique based on finite models to find test cases, which has proved to increase the level of automation during the whole testing process. The paper also discusses problems and challenges that have appeared during the development of the tool, and introduces real case studies and an analysis of the results obtained so far.
منابع مشابه
A Framework for Specification-Based Testing
Test templates and a test template framework are introduced as useful concepts in specification-based testing The framework can be defined using any model-based specification notation and used to derive tests from model-based specificationsin this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification...
متن کاملComparison of Portfolios Formed by Use of Grid Strategy Model Based on New and Traditional Variables Performance With Sharpe and Treynor Measures (Evidence of IRAN Exchange)
In this research, performance of portfolios formed by use of grid strategy based on new variables (aggressive, indifference and defensive stocks) presented by Rahnamaye Roodposhti (1388), and traditional ones (growth, growth-value and value stocks), calculated with Sharpe and Treynor performance measures and tested by an Active portfolio management approach to identify the portfolios by perform...
متن کاملA policy framework for the challenges of implementing regional higher education management in Iran
The models of regional governance in the world, particularly for administration of higher education are considered vital. In Iran, with the approval of Iran's Higher Education System Spatial Management Document, the issue of regional management in higher education was given special attention. Articles 1 and 2 of the document specifically address the regional higher education structure of the ...
متن کاملA new methodology for deriving the efficient frontier of stocks portfolios: An advanced risk-return model
In this paper after a general literature review on the concept of Efficient Frontier (EF), an important inadequacy of the Variance based models for deriving EFs and the high necessity for applying another risk measure is exemplified. In this regard for this study the risk measure of Lower Partial Moment of the first order is decided to replace Variance. Because of the particular shape of the pr...
متن کاملDesigning and implementing a Web-based real time routing service for crisis management (a case study for district 11 of Tehran)
Timing framework associated with catastrophes is one of the most important issues in crisis management. In such cases, being immediate has a considerable importance and web based real-time routing service as an important tool has a significant role in relief operations improvement. At this study, a web-based real time routing service based on open source technology has designed for 11th distric...
متن کامل